#ifndef BISON_DOMAIN_TAB_H
# define BISON_DOMAIN_TAB_H

#ifndef YYSTYPE
typedef union {
  char	     string[STRING_LENGTH+1];
  PENode     *pPENode;
  TokenList  *pTokenList;
  TypedList  *pTypedList;
  PredList   *pPredList;
  StringList *pStringList;
} yystype;
# define YYSTYPE yystype
# define YYSTYPE_IS_TRIVIAL 1
#endif
# define	DEFINE_TOK	257
# define	DOMAIN_TOK	258
# define	REQUIREMENTS_TOK	259
# define	TYPES_TOK	260
# define	EITHER_TOK	261
# define	CONSTANTS_TOK	262
# define	ACTION_TOK	263
# define	AXIOM_TOK	264
# define	VARS_TOK	265
# define	CONTEXT_TOK	266
# define	IMPLIES_TOK	267
# define	PRECONDITION_TOK	268
# define	PARAMETERS_TOK	269
# define	PREDICATES_TOK	270
# define	EFFECT_TOK	271
# define	AND_TOK	272
# define	NOT_TOK	273
# define	WHEN_TOK	274
# define	FORALL_TOK	275
# define	FORALL1_TOK	276
# define	IMPLY_TOK	277
# define	OR_TOK	278
# define	EXISTS_TOK	279
# define	EQUAL_TOK	280
# define	SAFETY_TOK	281
# define	VARIABLE	282
# define	TYPE	283
# define	NAME	284
# define	OPEN_PAREN	285
# define	CLOSE_PAREN	286


extern YYSTYPE yylval;

#endif /* not BISON_DOMAIN_TAB_H */
